例句與造句

1. They are also used in the definition of an enriched category.
2. Enriched functors are then maps between enriched categories which respect the enriched structure.
3. For example, a metric space can be regarded as an enriched category.
4. Because the hom-objects need not be sets in an enriched category, one cannot speak of a particular morphism.
5. Lawvere ran a seminar in Perugia, Italy ( 1972 1974 ) and especially worked on various kinds of enriched category.
6. It's difficult to find enriched category in a sentence. 用enriched category造句挺難的
7. An "'enriched functor "'is the appropriate generalization of the notion of a functor to enriched categories.
8. Kelly worked on many other aspects of category theory besides enriched categories, both individually and in a number of fruitful collaborations.
9. The axioms of a 2-category are consequences of their definition as "'Cat "'- enriched categories:
10. He subsequently developed the notion in considerably more detail in his 1981 monograph " Basic Concepts of Enriched Category Theory ".
11. Due to Mac Lane's preference for the letter V in referring to the monoidal category, enriched categories are also sometimes referred to generally as "'V-categories " '.
12. Viewing a 2-category as an enriched category whose homobjects are categories, the homobjects of any extension of a posetal category to a 2-category having the same 1-cells are monoids.
13. The recursive construction of " n "-"'Cat "'works fine because if a category C has finite products, the category of C-enriched categories has finite products too.
14. In the case where the hom-object category happens to be the category of sets with the usual cartesian product, the definitions of enriched category, enriched functor, etc . . . reduce to the original definitions from ordinary category theory.
15. Being a symmetric monoidal category, "'Ste "'generates the notions of a " stereotype algebra " ( as a enriched categories over "'Ste "'. and the following results can be considered as evidences of its reasonableness:
16. The explicitly foundational role of the category "'Set "'in his treatment is noteworthy in view of the folk intuition that enriched categories liberate category theory from the last vestiges of "'Set "'as the codomain of the ordinary external hom-functor.
更多例句：  下一頁